SET SERVEROUTPUT ON
EXECUTE top_with_logging
